Atom2Deq $\in$ EqDecider(Atom2)